IFM Book
The first week's lectures will be based in part of Appendices D–E of Carroll Morgan's book (In-)formal Methods: the Lost Art. I recommend them as background reading.
This (draft) book is the textbook of Carroll's course COMP6721, which is highly recommended as a complement to this course.